Roadmap for Improving the Type Checker
✅Type Checking
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
🔗Go Generics
Flag this post
Oops, My UUIDs Collided
🔗Hash Functions
Flag this post
Swift 6.2: NotificationCenter Messages
mjtsai.com·2d
🦉Swift Interpreters
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·18h
🔗Category Theory
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·16h
🛡️Error Handling
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
✨Gleam
Flag this post
Issue 496
haskellweekly.news·1d
👑Dependent Haskell
Flag this post
Scala 3 / HOCON Parsing
alexn.org·1d
🔗Lexical Scoping
Flag this post
Issue 733
iosdevweekly.com·22h
🦉Swift Interpreters
Flag this post
Down with template (or not)!
cedardb.com·22h
📋Template Compilers
Flag this post
The top 4 JVM languages and why developers love them
infoworld.com·2d
🔮Clojure
Flag this post
Implementing MQTT 5 in Go: A Deep Dive into Client Design - Part I
📡Network Serialization
Flag this post
I Will Not Be Enabling Full Null Support In Adobe ColdFusion 2025
bennadel.com·6h
🌉Language Bindings
Flag this post
GHC: From Bug to Merge
📏Linear Haskell
Flag this post
Swift 6.2: Subprocess
mjtsai.com·23h
🦉Swift Interpreters
Flag this post
Why Partial<Type> is an extremely useful TypeScript feature?
event-driven.io·3d
🌊Gradual Typing
Flag this post
Loading...Loading more...